Formal proof - Spanish English Dictionary